1. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
Author: Wallen, Lincoln A.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
Classification :
QA
9
.
54
.
W35
1990
2. Extensional Godel functional interpretation; a consistency proof of classical analysis
Author: Luckhardt, Horst
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Proof theory,، Intuitionistic mathematics
Classification :
QA
3
.
L28
no
.
306
3. Extensional Godel functional interpretation : a consistency proof of classical analysis
Author: Luckhardt, Horst
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Proof theory,، Intuitionistic mathematics
Classification :
QA
9
.
L8
1973
4. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
5. Metamathematical investigation of intuitionistic arithmetic and analysi
Author: / A.S. Troelstra (editor)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Intuitionistic mathematics.,Proof theory.,Model theory.
Classification :
QA3
,.
L28
,
no
.,
34
6. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Metamathematical investigation of intuitionistic arithmetic and analysis
Author: Troelstra, Anne Sjerp
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Intuitionistic mathematics,، Proof theory,، Model theory
Classification :
QA
3
.
L28
no
.
344
8. Proof theory and intuitionistic systems
Author: Scarpellini, Bruno
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Intuitionistic mathematics,، Proof theory
Classification :
QA
3
.
L28
no
.
212
9. Proof theory and intuitionistic systems
Author: Scarpellini, Bruno
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Intuitionistic mathematics,، Proof theory
Classification :
QA
3
.
L28
no
.
212
10. Proof theory and intuitionistic systems
Author: Scarpellini, Bruno.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Intuitionistic mathematics,، Proof theory
Classification :
QA
1
.
L4
v
.
212
11. Proof theory and intuitionistic systems
Author: Scarpellini, Bruno
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Intuitionistic mathematics,، Proof theory
Classification :
QA
3
.
L28
Vol
.
212
12. Proof theory and intuitionistic systems
Author: Scarpellini, Bruno
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Intuitionistic mathematics,، Proof theory
Classification :
QA
9
.
S3
1971
13. Proof theory and intuitionistic systems
Author: / Bruno Scarpellini
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Intuitionistic mathematics,Proof theory
Classification :
510
.
8
L471
No
.
212
